\documentclass[a4paper,10pt,reqno,openany,oneside,notitlepage]{amsbook}

\usepackage{amsfonts, amsmath, amsthm, amssymb}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[english]{babel}
\usepackage[all,cmtip]{xy}
\usepackage{graphicx}
\usepackage{lmodern}
\usepackage{microtype}
\usepackage[utf8]{inputenc}
\usepackage{booktabs}
\usepackage{a4wide}
\usepackage{comment}
\usepackage{array}
\usepackage[colorlinks=true,linkcolor=blue,urlcolor=blue]{hyperref}
\usepackage[lofdepth,lotdepth]{subfig}
\usepackage{tikz}
\usetikzlibrary{decorations.pathreplacing}
\pagestyle{plain}

\usepackage{array}

%\hypersetup{
%    pdfborder = {0 0 0}
%}

\DeclareMathOperator{\tr}{tr}

\newcommand{\mint}[1]{\text{#1}}
\newcommand{\then}{\Rightarrow}
\newcommand{\Then}{\Longrightarrow}
\newcommand{\trans}{\rightsquigarrow}

\newtheorem*{quest}{Task}
\newtheorem{thm}{Theorem}
\newtheorem{lemma}{Lemma}

%\renewcommand{\thesubsection}{\thesection.\alph{subsection}}

%\frenchspacing

\hypersetup{pdftitle={Automated Reasoning pt. 2; Weber, Tejiscak}}
\title{Automated Reasoning, part II.}
\author{Niklas Weber \\ 0841420, \\ Matúš Tejiščák \\ 4176200}
\date{\today}
\begin{document}

\begin{center}
	\LARGE
	\hfill \\
	\vspace{5cm}
	\textbf{Automated Reasoning, part II} \\
	\vspace{2cm}
	Niklas Weber, \\
	0841420; \\
	\vspace{0.5cm}
	Matúš Tejiščák, \\
	4176200
\end{center}
\thispagestyle{empty}
\setcounter{page}{0}

\renewcommand{\chaptername}{Problem}
\input{chang-roberts}
\input{sorting}
\input{own-problem}


\end{document}






























































